More from this Author

Finite Model Theory and Its Applications

by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein

Multi-Dimensional Modal Logic

by Maarten Marx, Yde Venema